1

Optimized Topological Surgery for Unfolding 3D Meshes

Year:
2011
Language:
english
File:
PDF, 13.16 MB
english, 2011
3

Drawing graphs with nonuniform nodes using potential fields

Year:
2009
Language:
english
File:
PDF, 1.59 MB
english, 2009
4

Mental map preserving graph drawing using simulated annealing

Year:
2011
Language:
english
File:
PDF, 1.35 MB
english, 2011
6

Sequential versus concurrent languages of labeled conflict-free Petri nets

Year:
2002
Language:
english
File:
PDF, 362 KB
english, 2002
8

On Number of Tags Estimation in RFID Systems

Year:
2015
Language:
english
File:
PDF, 844 KB
english, 2015
11

Normal and sinkless petri nets

Year:
1993
Language:
english
File:
PDF, 1.65 MB
english, 1993
13

A taxonomy of fairness and temporal logic problems for Petri nets

Year:
1991
Language:
english
File:
PDF, 3.40 MB
english, 1991
14

Global and local views of state fairness

Year:
1991
Language:
english
File:
PDF, 3.29 MB
english, 1991
15

A multiparameter analysis of domino tiling with an application to concurrent systems

Year:
1992
Language:
english
File:
PDF, 1.71 MB
english, 1992
16

Reachability solution characterization of parametric real-time systems

Year:
2004
Language:
english
File:
PDF, 273 KB
english, 2004
17

Deterministic catalytic systems are not universal

Year:
2006
Language:
english
File:
PDF, 251 KB
english, 2006
18

On minimal elements of upward-closed sets

Year:
2009
Language:
english
File:
PDF, 790 KB
english, 2009
19

The symmetry number problem for trees

Year:
2001
Language:
english
File:
PDF, 160 KB
english, 2001
20

A valuation-based analysis of conflict-free Petri nets

Year:
2002
Language:
english
File:
PDF, 177 KB
english, 2002
21

On reachability equivalence for BPP-nets

Year:
1997
Language:
english
File:
PDF, 1.17 MB
english, 1997
24

Priority systems with many identical processes

Year:
1991
Language:
english
File:
PDF, 628 KB
english, 1991
25

Communicating processes, scheduling, and the complexity of nontermination

Year:
1990
Language:
english
File:
PDF, 1.75 MB
english, 1990
26

Deciding a class of path formulas for conflict-free petri nets

Year:
1997
Language:
english
File:
PDF, 1.03 MB
english, 1997
27

Deciding a Class of Path Formulas for Conflict-Free Petri Nets

Year:
1997
Language:
english
File:
PDF, 239 KB
english, 1997
28

Competitive Analysis of On-Line Disk Scheduling

Year:
1998
Language:
english
File:
PDF, 215 KB
english, 1998
29

Priority conflict-free Petri nets

Year:
1998
Language:
english
File:
PDF, 205 KB
english, 1998
30

A note on fine covers and iterable factors of VAS languages

Year:
1995
Language:
english
File:
PDF, 612 KB
english, 1995
32

On optimal parallelization of sorting networks

Year:
1990
Language:
english
File:
PDF, 1.16 MB
english, 1990
33

On decision problems for parameterized machines

Year:
2010
Language:
english
File:
PDF, 580 KB
english, 2010
34

Complexity analysis of balloon drawing for rooted trees

Year:
2011
Language:
english
File:
PDF, 867 KB
english, 2011
35

Compact floor-planning via orderly spanning trees

Year:
2003
Language:
english
File:
PDF, 176 KB
english, 2003
36

On the Regularity of Petri Net Languages

Year:
1996
Language:
english
File:
PDF, 804 KB
english, 1996
38

A unified approach for deciding the existence of certain petri net paths

Year:
1992
Language:
english
File:
PDF, 1.11 MB
english, 1992
39

On the containment and equivalence problems for two-way transducers

Year:
2012
Language:
english
File:
PDF, 271 KB
english, 2012
40

Travel-Route-Centered Metro Map Layout and Annotation

Year:
2012
Language:
english
File:
PDF, 391 KB
english, 2012
46

On multiterminal single bend wirability

Year:
1994
Language:
english
File:
PDF, 500 KB
english, 1994
48

Distributed and On-Line Routing on Tori

Year:
2002
Language:
english
File:
PDF, 2.43 MB
english, 2002